Limbo: A Reasoning System for Limited Belief
نویسنده
چکیده
We introduce LIMBO, a reasoning system for limited belief. The system features a highly expressive language with first-order quantification, functions and equality, sorts, and introspective belief modalities. Reasoning is based on clause subsumption, unit propagation, and case splits. Decidability and sometimes even tractability is achieved by limiting the number of case splits. This demo illustrates the practical utility of limited belief by way of toy examples as well as the games of Sudoku and Minesweeper.
منابع مشابه
A Reasoning System for a First-Order Logic of Limited Belief
Logics of limited belief aim at enabling computationally feasible reasoning in highly expressive representation languages. These languages are often dialects of first-order logic with a weaker form of logical entailment that keeps reasoning decidable or even tractable. While a number of such logics have been proposed in the past, they tend to remain for theoretical analysis only and their pract...
متن کاملContinuous Belief Functions for Evidential Reasoning
Some recently developed expert systems have used the ShaferDempster theory for reasoning from multiple bodies of evidence. Many expert-system applications require belief to be specified over arbitrary ranges of scalar variables, such as time, distance or sensor measurements. The utility of the existing ShaferDempster theory is limited by the lack of an effective approach for dealing with belief...
متن کاملUsing and Extending LIMBO for the Descriptive Modeling of Arrival Behaviors
LIMBO is a tool for the creation of load profiles with variable intensity over time both from scratch and from existing data. Primarily, LIMBO’s intended use is the description of load arrival behaviours in open workloads. Specifically, LIMBO can be employed for the creation of custom request or user arrival time-stamps or for the re-parameterization of existing traces. LIMBO bases on the Desca...
متن کاملDecidable Reasoning in a Logic of Limited Belief with Function Symbols
A principled way to study limited forms of reasoning for expressive knowledge bases is to specify the reasoning problem within a suitable logic of limited belief. Ideally such a logic comes equipped with a perspicuous semantics, which provides insights into the nature of the belief model and facilitates the study of the reasoning problem. While a number of such logics were proposed in the past,...
متن کاملA Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches that come equipped with a perspicuous model theory either result in reasoners that are too limited from a practical point of view or fall off the computational cliff. In this paper, we propose a new logic of belief call...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017